Practical Formal Methods with Vdm (Mcgraw Hill International Series in Software Engineering)
by Darrel Ince, Derek Andrews
ISBN 13: 9780077072148
Format: Paperback (450 pages) Publisher: McGraw-Hill Publishing Co. Published: 01 Sep 1991
Save for later
Computing for Non-scientific Applications
by Michael Greenhalgh, Derek Andrews
ISBN 13: 9780718512521
Format: Paperback (256 pages) Publisher: Continuum International Publishing Published: 31 Dec 1987